Definable set